1. Automated Reasoning
پدیدآورنده : / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Automatic theorem proving--Congresses,Computer logic--Congresses
2. Automated reasoning
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses. ; Computer logic ; Congresses. ;
3. Computation, proof, machine :
پدیدآورنده : Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- History,Mathematics-- History-- 20th century,Mathematics, Ancient
4. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
پدیدآورنده : Gilles Dowek ... ]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1074
5. Introduction to the Theory of Programming Languages
پدیدآورنده : / vyفJacques L-Gilles Dowek, Jean
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
6. Introduction to the theory of programming languages
پدیدآورنده : Gilles Dowek, Jean-Jacques Laevy,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers(^aSemantics
رده :
QA
.
D6813
76
.
7
2011
7. Introduction to the theory of programming languages
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Programming languages (Electronic computers) ; Semantics. ;
8. Introduction to the theory of programming languages
پدیدآورنده : / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
D6813
,
2011
9. Introduction to the theory of programming languages, Introduction ?a la thaeorie des langages de programmation.English
پدیدآورنده : Dowek, Gilles., Gilles Dowek, Jean-Jacques Laevy
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Programming languages )Electronic computers(,، Programming languages )Electronic computers(, Semantics
رده :
QA
76
.
7
.
D6813
2011
10. Le temps des algorithmes
پدیدآورنده : Serge Abiteboul et Gilles Dowek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : [Ouvrages généraux]
11. Les métamorphoses du calcul :
پدیدآورنده : Gilles Dowek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
12. Principles of programming languages
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ;
13. Principles of programming languages
پدیدآورنده : / Gilles Dowek
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
D69
,
2009
14. Proofs and Algorithms
پدیدآورنده : / Gilles Dowek
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
15. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده : Dowek, Gilles
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
16. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده : Dowek, Gilles
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
17. Proofs and algorithm
پدیدآورنده : / Gilles Dowek
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical.,Algorithms.
رده :
QA9
,.
D68
,
2011
18. Proofs and algorithms
پدیدآورنده : Gilles Dowek
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Logic, Symbolic and mathematical,Algorithms
رده :
QA
9
.
D66P7
2011
19. Proofs and algorithms
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Algorithms. ;
20. Proofs and algorithms: An introduction to logic and computability
پدیدآورنده : / Gilles Dowek (auth.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
